-
Notifications
You must be signed in to change notification settings - Fork 2.3k
Add ssh fetch with custome port #1470
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Add ssh fetch with custome port #1470
Conversation
|
Is this needed? |
|
Big yes for that one. I cannot use the step in my case without it :( |
|
Want that feature |
|
Would be great to have! |
You can use this PR until (if ever) this is merged -uses: actions/checkout@v4
+uses: https://github.com/jakob30061/checkout@add-ssh-fetch-with-custome-port |
|
Hi, This workaround might work with any upstream tags as it modifies the ssh config file, but I've only tested v3. I hope this can help someone until there is a proper fix merged. |
|
It would be beneficial to have this feature. |
|
Was gonna tag a bunch of maintainers and write a rant about this PR being open for almost 2 year without any maintainer interaction. But then I came across this issue comment stating that they basically DO NOT support anything that is not Github focused... Sadly the checkout action @ Gitea is only a bare mirror that doesn't accepts PRs at all. |
This adds support for custom ssh ports. If
github-server-urlhas a url with a different ssh port like (https://example.com:222) and fetching with ssh is selected, this commit adds the requiredssh://and the port to the origin url.Tested with custom ssh port (
https://example.com:222), no ssh port (https://example.com) where default port22is used and with default port22explicitly set (https://example.com:22).closes #1315